loc{-}ordered(${\it es}$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$l{-}ordered(E;$x$,$y$.($x$ $<$loc $y$);$L$)